Issue 490
haskellweekly.news·11h
🧬Functional Programming
haskell/mtl
github.com·21h
🧬Functional Programming
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·11h·
Discuss: Hacker News
🧬Functional Programming
Efficient evaluation of expressions specified in the GO runtime
reddit.com·16h·
Discuss: r/golang
🔗Lisp
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🧬Functional Programming
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
🧠Lisp Dialects
Compiling with Continuations
swatson555.github.io·1d·
Discuss: Hacker News
💻Programming languages
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
🔗Concatenative Programming
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·6h
💻Local LLMs
A Hands-On Introduction to cuML for GPU-Accelerated Machine Learning Workflows
machinelearningmastery.com·11h
🌊Streaming Algorithms
category-labs/monad
github.com·22h
🐚Shell Monads
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·13h·
Discuss: DEV
🔬Refinement Types
What I learned building a programming language with LLM agents
eddmann.com·6h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Reactant.jl – Julia execution code on GPUs
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
Swift 6.2 advances the language meaningfully
victorwynne.com·2d·
🔬Refinement Types
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·19h
🧮Kolmogorov Bounds
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·5h·
🦀Rust Borrowing